home *** CD-ROM | disk | FTP | other *** search
/ Aminet 37 / Aminet 37 (2000)(Schatztruhe)[!][Jun 2000].iso / Aminet / dev / lang / sofa.lha / sofa / smalleiffel / lib_random / gen_rand.e next >
Text File  |  2000-03-25  |  2KB  |  74 lines
  1. -- This file is  free  software, which  comes  along  with  SmallEiffel. This
  2. -- software  is  distributed  in the hope that it will be useful, but WITHOUT
  3. -- ANY  WARRANTY;  without  even  the  implied warranty of MERCHANTABILITY or
  4. -- FITNESS  FOR A PARTICULAR PURPOSE. You can modify it as you want, provided
  5. -- this header is kept unaltered, and a notification of the changes is added.
  6. -- You  are  allowed  to  redistribute  it and sell it, alone or as a part of
  7. -- another product.
  8. --          Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
  9. --            Dominique COLNET and Suzanne COLLIN - colnet@loria.fr
  10. --                       http://SmallEiffel.loria.fr
  11. --
  12. deferred class GEN_RAND
  13.    --
  14.    -- Here is the common way to use a random number generator.
  15.    -- Current implementations are MIN_STAND, STD_RAND.
  16.    --
  17.  
  18. feature -- Creation procedures:
  19.  
  20.    make is
  21.          -- Create the generator with an automatic hazardous setting of
  22.          -- the `seed_value'.
  23.          -- Because automatic setting may be done using internal address
  24.          -- of Current for example, it may produces platform dependent
  25.          -- behavior or compilation-mode dependant behavior.
  26.          -- Also consider `with_seed' to chose the most appropriate.
  27.       deferred
  28.       end;
  29.  
  30.    with_seed(seed_value: INTEGER) is
  31.          -- Create the generator with an explicit `seed_value'.
  32.       deferred
  33.       end;
  34.  
  35. feature
  36.  
  37.    next is
  38.          -- Compute next random number in sequence.
  39.       deferred
  40.       end;
  41.  
  42. feature -- No modifications :
  43.  
  44.    last_double: DOUBLE is
  45.          -- Look at the last computed number.
  46.          -- Range 0 to 1;
  47.       do
  48.          Result := last_real.to_double;
  49.       ensure
  50.          Result > 0 and Result < 1
  51.       end;
  52.  
  53.    last_real: REAL is
  54.          -- Look at the last computed number.
  55.          -- Range 0 to 1;
  56.       deferred
  57.       ensure
  58.          Result > 0 and Result < 1
  59.       end;
  60.  
  61.    last_integer(n:INTEGER):INTEGER is
  62.          -- Look the last computed number.
  63.          -- Range 1 to `n'.
  64.       require
  65.          n >= 1
  66.       deferred
  67.       ensure
  68.          1 <= Result and Result <= n
  69.       end;
  70.  
  71. end -- GEN_RAND
  72.  
  73.  
  74.